perm filename DARPA[E86,JMC]1 blob sn#823393 filedate 1986-08-25 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	darpa[e86,jmc]	Notes for 1986 proposal
C00003 ENDMK
CāŠ—;
darpa[e86,jmc]	Notes for 1986 proposal

Notes for phone conversation with Amarel and Simpson

1. The formal reasoning work is on a much more solid foundation,
because we have a stronger group than at any time in the past.

Non-monotonic reasoning and its use in formalizing common sense,
especially causality.

Mathematical theory of computation, Talcott thesis and beyond

Connections with qlisp project

ekl + Shankar